Entropy of the K-satisfiability problem.
نویسندگان
چکیده
The threshold behavior of the K-satisfiability problem is studied in the framework of the statistical mechanics of random diluted systems. We find that at the transition the entropy is finite and hence that the transition itself is due to the abrupt appearance of logical contradictions in all solutions and not to the progressive decreasing of the number of these solutions down to zero. A physical interpretation is given for the different cases K 1, K 2, and K $ 3. [S0031-9007(96)00244-X]
منابع مشابه
A cross entropy algorithm for continuous covering location problem
Covering problem tries to locate the least number of facilities and each demand has at least one facility located within a specific distance.This paper considers a cross entropy algorithm for solving the mixed integer nonlinear programming (MINLP) for covering location model.The model is solved to determine the best covering value.Also, this paper proposes aCross Entropy (CE) algorithm consider...
متن کاملModification of the Fast Global K-means Using a Fuzzy Relation with Application in Microarray Data Analysis
Recognizing genes with distinctive expression levels can help in prevention, diagnosis and treatment of the diseases at the genomic level. In this paper, fast Global k-means (fast GKM) is developed for clustering the gene expression datasets. Fast GKM is a significant improvement of the k-means clustering method. It is an incremental clustering method which starts with one cluster. Iteratively ...
متن کاملNatural Convection and Entropy Generation in Γ-Shaped Enclosure Using Lattice Boltzmann Method
This work presents a numerical analysis of entropy generation in Γ-Shaped enclosure that was submitted to the natural convection process using a simple thermal lattice Boltzmann method (TLBM) with the Boussinesq approximation. A 2D thermal lattice Boltzmann method with 9 velocities, D2Q9, is used to solve the thermal flow problem. The simulations are performed at a constant Prandtl number (Pr ...
متن کاملUncertain Satisfiability and Uncertain Entailment
Uncertain logic is a branch of multi-valued logic for dealing with subjective information, which explains formulas as uncertain variables and defines their truth values as uncertain measures. In this paper, uncertain satisfiability is proposed to verify the consistency of a set of truth values for the formulas. Furthermore, for a set of satisfiable formulas with given truth values, the problem ...
متن کاملModeling of the Maximum Entropy Problem as an Optimal Control Problem and its Application to Pdf Estimation of Electricity Price
In this paper, the continuous optimal control theory is used to model and solve the maximum entropy problem for a continuous random variable. The maximum entropy principle provides a method to obtain least-biased probability density function (Pdf) estimation. In this paper, to find a closed form solution for the maximum entropy problem with any number of moment constraints, the entropy is consi...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- Physical review letters
دوره 76 21 شماره
صفحات -
تاریخ انتشار 1996